DICLIB.COM
KI-basierte Sprachtools

Alle Tools Abonnement Kontaktieren Sie uns

Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆

Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

wie das Wort verwendet wird
Häufigkeit der Nutzung
es wird häufiger in mündlicher oder schriftlicher Rede verwendet
Wortübersetzungsoptionen
Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
Etymologie

Überzeugung durch Negation - Übersetzung nach Englisch

NON-MONOTONIC INFERENCE RULE IMPLYING THAT THE IMPOSSIBILITY TO DERIVE A STATEMENT ALLOWS TO INFER ITS NEGATION

Negation by failure; Weak negation

proof by negation

Überzeugung durch Negation (Ausschließen aller anderen Möglichkeiten)

Überzeugung durch Negation

proof by negation, method of proving a claim as true by proving all other claims as false

The Deer Hunter

1978 FILM DIRECTED BY MICHAEL CIMINO

The Deerhunter; Die durch die Hölle gehen; The deer hunter; Die durch die Hoelle gehen; Die durch die Holle gehen; The deerhunter; Chuck Aspegren; The Deer Hunter (soundtrack); The Deer Hunter (film)

Die durch die Hölle gehen, Film aus 1978 mit Robert De Niro in der Hautrolle (Regie von Michael Cimino)

Definition

negation by failure

An extralogical feature of Prolog and other {logic programming} languages in which failure of unification is treated as establishing the negation of a relation. For example, if Ronald Reagan is not in our database and we asked if he was an American, Prolog would answer "no". (1994-11-29)

Weitere Definitionen anzeigen

Wikipedia

Negation as failure

Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive $\mathrm {not} ~p$ (i.e. that $~p$ is assumed not to hold) from failure to derive $~p$ . Note that $\mathrm {not} ~p$ can be different from the statement $\neg p$ of the logical negation of $~p$ , depending on the completeness of the inference algorithm and thus also on the formal logic system.

Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.

More generally, this kind of negation is known as weak negation, in contrast with the strong (i.e. explicit, provable) negation.

https://en.wikipedia.org/wiki/Negation as failure